121. Engineering optimization :
پدیدآورنده : by R. Russell Rhinehart.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering-- Mathematical models.,Mathematical optimization.,Engineering-- Mathematical models.,Mathematical optimization.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA342
122. Engineering reliable service oriented architecture :
پدیدآورنده : Nikola Milanovic, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks -- Reliability.,COMPUTERS -- Networking -- Vendor Specific.,Service-oriented architecture (Computer science)
123. Enterprise DevOps framework :
پدیدآورنده : Shamayel M. Farooqui.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development.,Computer system conversion.,Information technology-- Management.,Operating systems (Computers),Computer software-- Development.,Computer system conversion.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology-- Management.,Network hardware.,Operating systems (Computers)
رده :
QA76
.
9
.
C68
124. Environmental engineering papers [electronic resource] :
پدیدآورنده : American Society of Naval Engineers.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Environmental engineering.,Environmental protection.,Marine pollution.
رده :
TA170
.
A447
2006
125. Ergonomic design of products and worksystems-21st century perspectives of Asia/
پدیدآورنده : Pradip Kumar Ray, Jhareswar Maiti, Editors.
کتابخانه: Central Library of University of Social Welfare and Rehabilitation Sciences (Tehran)
موضوع : Industrial safety.,Management information systems.,Quality control.,Reliability.
رده :
HD30
.
2
.
E7
2018
126. Ergonomics problems in process operations
پدیدآورنده : organised by the Institution of Chemical Engineers in association with the Ergonomics Society, held at the University of Aston in Birmingham, 11-13 July 1984 ; organising committee, D. Whitfield (chairman) [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chemical engineering -- Congresses.,Chemical engineering.,Human engineering -- Congresses.
رده :
TS156
.
8
O743
1984
127. Extreme man-made and natural hazards in dynamics of structures /
پدیدآورنده : edityed by Adnan Ibrahimbegovic and Ivica Kozar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hazard mitigation, Congresses.,Natural disaster warning systems, Congresses.,Structural analysis (Engineering), Congresses.,Structural dynamics, Congresses.,Hazard mitigation.,Hazard mitigation.,Natural disaster warning systems.,Natural disaster warning systems.,Physique.,Structural analysis (Engineering),Structural analysis (Engineering),Structural dynamics.,Structural dynamics.,TECHNOLOGY & ENGINEERING-- Structural.
رده :
TA654
.
N35
2006eb
128. Failure Modes and Mechanisms in Electronic Packages
پدیدآورنده : by Puligandla Viswanadham, Pratap Singh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Engineering.,Machinery.,Microprogramming.,Systems engineering.
129. Fatigue and Fracture Reliability Engineering
پدیدآورنده : / J.J. Xiong, R.A. Shenoi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|MATERIALS SCIENCE (uncategorised)& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
رده :
E-BOOK
130. Fault Prediction Modeling for the Prediction of Number of Software Faults /
پدیدآورنده : Santosh Singh Rathore and Sandeep Kumar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Evaluation.,Computer software-- Reliability.,Computer software-- Testing.,Computer software-- Evaluation.,Computer software-- Reliability.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
R44
131. Fault injection techniques and tools for embedded systems reliability evaluation
پدیدآورنده : edited by Alfredo Benso and Paolo Prinetto
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Embedded computer systems, Testing,Embedded computer systems, Reliability,Fault location (Engineering)
رده :
{
1648
},
acb699acf9d51d16b8fe1323b06446df
132. Faults Detection in Distribution Networks Using Artificial Neural Network
پدیدآورنده : ALI MIZHER MOHAMMED AL-IBRAA,MIZHER MOHAMMED AL-IBRAA,
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : artificial neural network (ANN), Distribution power system, Fault analysis, Fault types, detection and location.,شبکه عصبی مصنوعی (ANN)، سیستم قدرت توزیع، تجزیه و تحلیل خطا، انواع خطا، تشخیص و مکان.
133. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
134. Formal methods for industrial critical systems :
پدیدآورنده : Darren Cofer, Alessandro Fantechi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
9
.
F67
I594
2008eb
135. Formal methods for industrial critical systems :
پدیدآورنده : Gwen Salaün, Bernhard Schätz (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2011
136. Formal methods for industrial critical systems
پدیدآورنده : Mariëlle Stoelinga, Ralf Pinger (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I594
2012eb
137. Foundations of Dependable Computing
پدیدآورنده : \ Edited by Gary M. Koob, Clifford G. Lau
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Electronic digital computers -- Reliability,Fault-tolerant computing,Real-time data processing,کامپیوترهای رقمی -- اطمینان‌پذیری ,محاسبه تحمل‌پذیری خطا,داده‌پردازی فوری
رده :
E-Book
,
138. Future Trends in Microelectronics :
پدیدآورنده : edited by Serge Luryi, Jimmy Xu, Alex Zaslavsky.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Engineering.,Systems engineering.
139. Future communication, computing, control and management
پدیدآورنده : / Ying Zhang (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer networks--Congresses,Automation--Congresses,Mobile communication systems--Congresses,Reliability (Engineering)--Congresses
رده :
TK5105
.
5
.
I5857
2012
140. Future communication, computing, control and management
پدیدآورنده : Ying Zhang (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automation, Congresses,Computer networks, Congresses,Mobile communication systems, Congresses,Reliability (Engineering), Congresses
رده :
TK5105
.
5
.
I5857
2012eb
